// Refs from: https://fbinfer.com/docs/checker-racerd#unprotected-write
// TODO: How to trigger it, and is it duplication with `read_write_race` ?
import javax.annotation.concurrent.ThreadSafe;

@ThreadSafe
public class unprotected_write {
  private int mTemperature;

  public void makeDinner() { boilWater(); }

  private void boilWater() {
    mTemperature = 100; // unprotected write.
  }
}